Reprint Transmission Systems Prototyping based on Stateflow/Simulink Models

نویسندگان

  • M. Varsamou
  • N. Papandreou
  • Nikolaos Papandreou
  • Maria Varsamou
  • Theodore Antonakopoulos
چکیده

In this paper we describe an efficient methodology for rapid prototyping of data transmission systems based on Stateflow/Simulink models using a multi-level system development and testing approach. Transmission systems incorporate multi-domain functions and algorithms, i.e. physical layer circuits and communication protocol controllers. The Stateflow/Simulink environment enables the development of precise simulation models that include signal and protocol processing units. The proposed prototyping methodology is based on the progressive translation of high-level model blocks into hardware/software modules of the prototype architecture using custom and/or automated code generation tools. A custom data exchange and synchronization interface between the Stateflow/Simulink workspace and the circuit modules enables the integration of the simulation model and the prototyping platform into a complete functional system. The application of the proposed methodology in the development of an ADSL modem in a custom prototyping platform is also described.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semantic Translation of Simulink/Stateflow models to

Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed using such tools. In practice prototyping and simulation tools such as Matlab’s Simulink and Stateflow (MSS) are prevalent. The paper formally describes a translation process that can convert a well-defined subset of MSS into a standard form of hybrid automata. This t...

متن کامل

Reprint APSK Coded Modulation Techniques: From Simulink Models to DSP Implementation

This paper presents the application of a versatile and flexible environment on prototyping data transmission devices that are based on digital signal processors (DSPs). This development environment integrates the Matlab/Simulink tools with the TI DSPs in a unified setup that allows interaction between the model running on Matlab/Simulink and the software modules running on the DSP platform, thr...

متن کامل

Model-based Verification and Validation of an Autonomous Vehicle System

The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operates safely and effectively. EAST-ADL is a domain specific architectural language dedicated to safety-critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and tr...

متن کامل

Reprint From Matlab/Simulink Models to Prototype Implementation: A Communication Systems Development Environment

The aim of this paper is to present a flexible and versatile environment for developing, analyzing and prototyping data communication and signal processing systems. This environment is based on the Matlab/Simulink tools and a reconfigurable hardware platform that includes reprogrammable and digital processing circuits. The hardware platform communicates with the Matlab workspace via a dynamic d...

متن کامل

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models

In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001